OntoComP: A Protégé Plugin for Completing OWL Ontologies
نویسنده
چکیده
We describe OntoComP, a Protégé 4 plugin that supports ontology engineers in completing OWL ontologies. More precisely, OntoComP supports an ontology engineer in checking whether an ontology contains all the relevant information about the application domain, and in extending the ontology appropriately if this is not the case. It acquires complete knowledge about the application domain efficiently by asking successive questions to the ontology engineer. By using novel techniques from Formal Concept Analysis, it ensures that, on the one hand, the interaction with the ontology engineer is kept to a minimum, and, on the other hand, the resulting ontology is complete in a certain well-defined sense.
منابع مشابه
OntoComP System Description
We describe OntoComP, a Protégé 4 plugin that supports knowledge engineers in completing DL-based ontologies. More precisely, OntoComP supports a knowledge engineer in checking whether an ontology contains all the relevant information about the application domain, and in extending the ontology appropriately if this is not the case. It acquires complete knowledge about the application domain eff...
متن کاملThe OWL Explanation Workbench: A toolkit for working with justifications for entailments in OWL ontologies
In this article we present the Explanation Workbench, a library and tool for working with justification-based explanations of entailments in OWL ontologies. The workbench comprises a software library and Protégé plugin. The library can be used in standalone OWL API based applications that require the ability to generate and consume justifications. The Protégé plugin, which is underpinned by the...
متن کاملSatisfiability Model Visualization Plugin for Deep Consistency Checking of OWL Ontologies
We present an original Protégé plugin developed for the deep consistency checking of OWL ontologies. The plugin constructs and visualizes a minimal satisfiability model of the ontology, which is likely to uncover potential ontological errors: if the constructed model contradicts the author’s intentions, then the ontology itself is either wrong or incomplete. A satisfiability model is generated ...
متن کاملA Protégé Plugin for Querying and Reasoning on Persistent OWL Ontologies
The OWL language [1] is being widely used to define ontologies in the Web. This language provides three increasingly expressive sublanguages, namely OWL Lite, OWL-DL and OWL Full. The OWL-DL XML based syntax together with its correspondence with Description Logics (DL) [2], make it a good candidate to be the standard language for defining ontologies used by Semantic Web applications. However, t...
متن کاملCombining SWRL rules and OWL ontologies with Protégé OWL Plugin, Jess, and Racer
The presentation concerns a draft implementation with Protégé OWL Plugin for SWRL, based on the RDF concrete syntax of the SWRL proposal. A first prototype of a SWRL Tab Widget has been achieved. It is a bridge between Protégé OWL, Racer, and Jess, intended to help reasoning with SWRL rules combined with OWL ontologies. A small example is given including an OWL ontology representing the family ...
متن کامل